What is decidable about string constraints with the ReplaceAll function

The theory of strings with concatenation has been widely argued as the basis of constraint solving for verifying string-manipulating programs. However, this theory is far from adequate for expressing many string constraints that are also needed in practice; for example, the use of regular constraints (pattern matching against a regular expression), and the string-replace function (replacing either the first occurrence or all occurrences of a ``pattern'' string constant/variable/regular expression by a ``replacement'' string constant/variable), among many others. Both regular constraints and the string-replace function are crucial for such applications as analysis of JavaScript (or more generally HTML5 applications) against cross-site scripting (XSS) vulnerabilities, which motivates us to consider a richer class of string constraints. The importance of the string-replace function (especially the replace-all facility) is increasingly recognised, which can be witnessed by the incorporation of the function in the input languages of several string constraint solvers. Recently, it was shown that any theory of strings containing the string-replace function (even the most restricted version where pattern/replacement strings are both constant strings) becomes undecidable if we do not impose some kind of straight-line (aka acyclicity) restriction on the formulas. Despite this, the straight-line restriction is still practically sensible since this condition is typically met by string constraints that are generated by symbolic execution. In this paper, we provide the first systematic study of straight-line string constraints with the string-replace function and the regular constraints as the basic operations. We show that a large class of such constraints (i.e. when only a constant string or a regular expression is permitted in the pattern) is decidable. We note that the string-replace function, even under this restriction, is sufficiently powerful for expressing the concatenation operator and much more (e.g. extensions of regular expressions with string variables). This gives us the most expressive decidable logic containing concatenation, replace, and regular constraints under the same umbrella. Our decision procedure for the straight-line fragment follows an automata-theoretic approach, and is modular in the sense that the string-replace terms are removed one by one to generate more and more regular constraints, which can then be discharged by the state-of-the-art string constraint solvers. We also show that this fragment is, in a way, a maximal decidable subclass of the straight-line fragment with string-replace and regular constraints. To this end, we show undecidability results for the following two extensions: (1) variables are permitted in the pattern parameter of the replace function, (2) length constraints are permitted

Genome-wide analyses of Liberibacter species provides insights into evolution, phylogenetic relationships, and virulence factors.

'Candidatus Liberibacter' species are insect-transmitted, phloem-limited α-Proteobacteria in the order of Rhizobiales. The citrus industry is facing significant challenges due to huanglongbing, associated with infection from 'Candidatus Liberibacter asiaticus' (Las). In order to gain greater insight into 'Ca. Liberibacter' biology and genetic diversity, we have performed genome sequencing and comparative analyses of diverse 'Ca. Liberibacter' species, including those that can infect citrus. Our phylogenetic analysis differentiates 'Ca. Liberibacter' species and Rhizobiales in separate clades and suggests stepwise evolution from a common ancestor splitting first into nonpathogenic Liberibacter crescens followed by diversification of pathogenic 'Ca. Liberibacter' species. Further analysis of Las genomes from different geographical locations revealed diversity among isolates from the United States. Our phylogenetic study also indicates multiple Las introduction events in California and spread of the pathogen from Florida to Texas. Texan Las isolates were closely related, while Florida and Asian isolates exhibited the most genetic variation. We have identified conserved Sec translocon (SEC)-dependent effectors likely involved in bacterial survival and virulence of Las and analysed their expression in their plant host (citrus) and insect vector (Diaphorina citri). Individual SEC-dependent effectors exhibited differential expression patterns between host and vector, indicating that Las uses its effector repertoire to differentially modulate diverse organisms. Collectively, this work provides insights into the evolution of 'Ca. Liberibacter' species, the introduction of Las in the United States and identifies promising Las targets for disease management

Real space renormalization group approach to the 2d antiferromagnetic Heisenberg model

The low energy behaviour of the 2d antiferromagnetic Heisenberg model is studied in the sector with total spins $S=0,1,2$ by means of a renormalization group procedure, which generates a recursion formula for the interaction matrix $\Delta_S^{(n+1)}$ of 4 neighbouring "$n$ clusters" of size $2^n\times 2^n$, $n=1,2,3,...$ from the corresponding quantities $\Delta_S^{(n)}$. Conservation of total spin $S$ is implemented explicitly and plays an important role. It is shown, how the ground state energies $E_S^{(n+1)}$, $S=0,1,2$ approach each other for increasing $n$, i.e. system size. The most relevant couplings in the interaction matrices are generated by the transitions $$ between the ground states $|S,m;n+1>$ ($m=-S,...,S$) on an $(n+1)$-cluster of size $2^{n+1}\times 2^{n+1}$, mediated by the staggered spin operator $S_q^*$Comment: 18 pages, 8 figures, RevTe

Recent results on nucleon sigma terms in lattice QCD

It has proven a significant challenge to experiment and phenomenology to extract precise values of the nucleon sigma terms. This difficulty opens the window for lattice QCD simulations to lead the field in resolving this aspect of nucleon structure. Here we report on recent advances in the extraction of nucleon sigma terms in lattice QCD. In particular, the strangeness component is now being resolved to a precision that far surpasses best phenomenological estimates.Comment: 6 pages, 1 figure; prepared for Proc. 4th Int Symposium on Symmetries in Subatomic Physics (SSP2009), Taipei, Taiwan, June 2-5 200

J/Psi mass shift in nuclear matter

The $J/\Psi$ mass shift in cold nuclear matter is computed using an effective Lagrangian approach. The mass shift is computed by evaluating $D$ and $D^*$ meson loop contributions to the $J/\Psi$ self-energy employing medium-modified meson masses. The modification of the $D$ and $D^*$ masses in nuclear matter is obtained using the quark-meson coupling model. The loop integrals are regularized with dipole form factors and the sensitivity of the results to the values of form-factor cutoff masses is investigated. The $J/\Psi$ mass shift arising from the modification of the $D$ and $D^*$ loops at normal nuclear matter density is found to range from -16 MeV to -24 MeV under a wide variation of values of the cutoff masses. Experimental perspectives for the formation of a bound state of $J/\Psi$ to a nucleus are investigated.Comment: 9 pages, latex file, 6 figures. Version published in Phys. Lett.

Implications of the Fermi-LAT diffuse gamma-ray measurements on annihilating or decaying Dark Matter

We analyze the recently published Fermi-LAT diffuse gamma-ray measurements in the context of leptonically annihilating or decaying dark matter (DM) with the aim to explain simultaneously the isotropic diffuse gamma-ray and the PAMELA, Fermi and HESS (PFH) anomalous $e^\pm$ data. Five different DM annihilation/decay channels $2e$, $2\mu$, $2\tau$, $4e$, or $4\mu$ (the latter two via an intermediate light particle $\phi$) are generated with PYTHIA. We calculate both the Galactic and extragalactic prompt and inverse Compton (IC) contributions to the resulting gamma-ray spectra. To find the Galactic IC spectra we use the interstellar radiation field model from the latest release of GALPROP. For the extragalactic signal we show that the amplitude of the prompt gamma-emission is very sensitive to the assumed model for the extragalactic background light. For our Galaxy we use the Einasto, NFW and Isothermal DM density profiles and include the effects of DM substructure assuming a simple subhalo model. Our calculations show that for the annihilating DM the extragalactic gamma-ray signal can dominate only if rather extreme power-law concentration-mass relation $C(M)$ is used, while more realistic $C(M)$ relations make the extragalactic component comparable or subdominant to the Galactic signal. For the decaying DM the Galactic signal always exceeds the extragalactic one. In the case of annihilating DM the PFH favored parameters can be ruled out only if power-law $C(M)$ relation is assumed. For DM decaying into $2\mu$ or $4\mu$ the PFH favored DM parameters are not in conflict with the Fermi gamma-ray data. We find that, due to the (almost) featureless Galactic IC spectrum and the DM halo substructure, annihilating DM may give a good simultaneous fit to the isotropic diffuse gamma-ray and to the PFH $e^\pm$ data without being in clear conflict with the other Fermi-LAT gamma-ray measurements.Comment: Accepted for publication in JCAP, added missing references, new Figs. 9 \& 10, 35 page

Diffuse inverse Compton and synchrotron emission from dark matter annihilations in galactic satellites

Annihilating dark matter particles produce roughly as much power in electrons and positrons as in gamma ray photons. The charged particles lose essentially all of their energy to inverse Compton and synchrotron processes in the galactic environment. We discuss the diffuse signature of dark matter annihilations in satellites of the Milky Way (which may be optically dark with few or no stars), providing a tail of emission trailing the satellite in its orbit. Inverse Compton processes provide X-rays and gamma rays, and synchrotron emission at radio wavelengths might be seen. We discuss the possibility of detecting these signals with current and future observations, in particular EGRET and GLAST for the gamma rays.Comment: 13 pages, 5 figure

Recent developments in planet migration theory

Planetary migration is the process by which a forming planet undergoes a drift of its semi-major axis caused by the tidal interaction with its parent protoplanetary disc. One of the key quantities to assess the migration of embedded planets is the tidal torque between the disc and planet, which has two components: the Lindblad torque and the corotation torque. We review the latest results on both torque components for planets on circular orbits, with a special emphasis on the various processes that give rise to additional, large components of the corotation torque, and those contributing to the saturation of this torque. These additional components of the corotation torque could help address the shortcomings that have recently been exposed by models of planet population syntheses. We also review recent results concerning the migration of giant planets that carve gaps in the disc (type II migration) and the migration of sub-giant planets that open partial gaps in massive discs (type III migration).Comment: 52 pages, 18 figures. Review article to be published in "Tidal effects in Astronomy and Astrophysics", Lecture Notes in Physic

Computational Nuclear Physics and Post Hartree-Fock Methods

We present a computational approach to infinite nuclear matter employing Hartree-Fock theory, many-body perturbation theory and coupled cluster theory. These lectures are closely linked with those of chapters 9, 10 and 11 and serve as input for the correlation functions employed in Monte Carlo calculations in chapter 9, the in-medium similarity renormalization group theory of dense fermionic systems of chapter 10 and the Green's function approach in chapter 11. We provide extensive code examples and benchmark calculations, allowing thereby an eventual reader to start writing her/his own codes. We start with an object-oriented serial code and end with discussions on strategies for porting the code to present and planned high-performance computing facilities.Comment: 82 pages, to appear in Lecture Notes in Physics (Springer), "An advanced course in computational nuclear physics: Bridging the scales from quarks to neutron stars", M. Hjorth-Jensen, M. P. Lombardo, U. van Kolck, Editor

Phase diagram of the one-dimensional extended attractive Hubbard model for large nearest-neighbor repulsion

We consider the extended Hubbard model with attractive on-site interaction U and nearest-neighbor repulsions V. We construct an effective Hamiltonian H_{eff} for hopping t<<V and arbitrary U<0. Retaining the most important terms, H_{eff} can be mapped onto two XXZ models, solved by the Bethe ansatz. The quantum phase diagram shows two Luttinger liquid phases and a region of phase separation between them. For density n<0.422 and U<-4, singlet superconducting correlations dominate at large distances. For some parameters, the results are in qualitative agreement with experiments in BaKBiO.Comment: 6 pages, 3 figures, submitted to Phys. Rev.